int main(int argc, char *argv[])
{
  int i = 0;
  int j = 0x0ba1;
  return EXIT_SUCCESS;
}
